Publications of David NAVARRE
Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni
Towards MBSE engineering dedicated to socio-technical interactive systems
CEAS Space Journal, 2024, ⟨10.1007/s12567-024-00536-0⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Célia Martinie, David Navarre, Philippe Palanque
Approche à base de modèles pour l’ingénierie des systèmes interactifs
Les Techniques de l’Ingenieur, 2022, ⟨10.51257/a-v1-h3290⟩
Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere
Engineering Operations-based Training
Proceedings of the ACM on Human-Computer Interaction , 2022, ACM Journals, 6 : EICS (Article 164), pp.1-25. ⟨10.1145/3534518⟩
Alexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool
Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩
David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Model-based Engineering of Feedforward Usability Function for GUI Widgets
Interacting with Computers, 2021, 33 (1), pp.73-91. ⟨10.1093/iwcomp/iwab014⟩
Sven Coppers, Kris Luyten, Davy Vanacken, Philippe Palanque, David Navarre, Christine Gris
Fortunettes: Feedforward about the Future State of GUI Widgets
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (EICS), pp.article20. ⟨10.1145/3331162⟩
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto
A more intelligent test case generation approach through task models manipulation
Proceedings of the ACM on Human-Computer Interaction , 2017, 1 (EICS, article 9), pp.1-20. ⟨10.1145/3095811⟩
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit
i-com, 2015, 14 (3), ⟨10.1515/icom-2015-0037⟩
Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler
Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language
Science of Computer Programming, 2014, Special issue on Software Support for User Interface Description Languages (UIDL 2011), 86, Suppl C, pp.3-29. ⟨10.1016/j.scico.2013.04.001⟩
Célia Martinie, David Navarre, Philippe Palanque
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.
International Journal of Human-Computer Studies, 2014, 72 (1), pp.77-99. ⟨10.1016/j.ijhcs.2013.08.013⟩
Celia Martinie De Almeida, David Navarre, Philippe Palanque
A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems
In : International Journal of Human-Computer Studies, Elsevier, Vol. 2013.08, (on line), September 2013.
URL : http://dx.doi.org/10.1016/j.ijhcs.2013.08.013 – https://oatao.univ-toulouse.fr/12676/
BibTeXCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
In : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Special issue Special Issue on Fault-Tolerant Computer Systems, Vol. 4 N. 3, pp. 202-226, 2013.
URL : http://www.inderscience.com/info/inarticle.php?artid=58407
BibTeXDavid Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Celia Martinie De Almeida
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
In : Elsevier’s Safety Science, Elsevier, Special issue Reliability Engineering and System Safety, Vol. 96, pp. 38-52, January 2011.
David Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni
ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability
In : Transactions on Computer-Human Interaction, ACM SIGCHI, USA, Special issue User Interface Description Languages for Next Generation User Interfaces, Vol. 16 N. 4, pp. 1-56, November 2009.
David Navarre, Philippe Palanque, Pierre Dragicevic, Rémi Bastide
An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications
In : Interacting with Computers, Elsevier, Vol. 18 N. 5, pp. 910-941, 2006.
Rémi Bastide, David Navarre, Philippe Palanque
A tool-supported design framework for safety critical interactive systems
In : Interacting with Computers, Elsevier, Vol. 15 N. 3, pp. 309-328, June 2003.
URL : http://dx.doi.org/10.1016/S0953-5438(03)00011-0
BibTeX
Sandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez-Hernando, Francesc Tinto
Operator-centered and model-based design for critical HMIS
3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Philippe Palanque, David Navarre
Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction
23rd ACM International Conference on Multimodal Interaction (ICMI 2021), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Nov 2021, Montréal, QC, Canada. pp.781-787, ⟨10.1145/3462244.3479881⟩
Célia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms
IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.290-301, ⟨10.1007/978-3-030-98388-8_26⟩
Alexandre Canny, Philippe Palanque, David Navarre
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020), Oct 2020, Porto (virtual), Portugal. pp.95-104, ⟨10.1109/ICSTW50294.2020.00029⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Alexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets
International Workshop on Formal Methods for Interactive Systems (FMIS 2019), Oct 2019, Porto, Portugal. pp.486-502, ⟨10.1007/978-3-030-54994-7_35⟩
David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets
8th Formal Methods for Interactive Systems Workshop (FMIS 2019) co-located with Formal Methods 2019, Oct 2019, Porto, Portugal. pp.503-519, ⟨10.1007/978-3-030-54994-7_36⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Deleris
Revisiting system’s pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description
INCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9
Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Christine Gris, Yannick Deleris
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems
12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019), Jul 2019, Atlanta, United States. ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
David Navarre, Philippe Palanque, Célia Martinie
A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts
2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems @ ACM EICS 2019, IFIP Working Group 2.7/13.4, Jun 2019, Valencia, Spain. pp.39-45
Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-7, ⟨10.1145/3220134.3220136⟩
David Navarre, Philippe Palanque, Arnaud Hamon, Sabrina Della Pasqua
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.114-122, ⟨10.1007/978-3-319-92081-8_11⟩
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study
International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2016), Sep 2016, Paris, France. pp.1-9
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.138-148, ⟨10.1145/2933242.2948735⟩
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque
Engineering mixed-criticality interactive applications
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.108-119, ⟨10.1145/2933242.2933258⟩
Jean-Luc Hak, Marco Winckler, David Navarre
PANDA: prototyping using annotation and decision analysis
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Brussels, Belgium. pp. 171-176
Célia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (2016)
2016 Spring Symposium on Intelligent systems for supporting distributed human teamwork (AAAI-SS 2016), AAAI : Association for the Advancement of Artificial Intelligence, Mar 2016, Stanford, CA, United States. pp.85-94
Martina Ragosta, Célia Martinie, Philippe Palanque, David Navarre, Mark-Alexander Sujan
Concept Maps as for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems
International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.41-52
Célia Martinie, David Navarre, Philippe Palanque, Camille Fayollas
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.244-253, ⟨10.1145/2774225.2774845⟩
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21–30, ⟨10.1109/PRDC.2014.11⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
A Fault-Tolerant Architecture for Resilient Interactive Systems
26ème Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d’Interaction Homme-Machine; Université Lille 1; INRIA Lille – Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
26ème Conférence francophone sur l’Interaction Homme-Machine (IHM 2014), Association Francophone d’Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim Fahssi
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Célia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts (2014)
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2014), ACM Special Interest Group on Computer-Human Interaction, Jun 2014, Rome, Italy. pp.95-94, ⟨10.1145/2607023.2607031⟩
Arnaud Hamon, Philippe Palanque, Martin Cronel, Raphaël André, David Navarre, Eric Barboni
Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions
6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems – EICS 2014, ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2014, Roma, Italy. pp.173-178, ⟨10.1145/2607023.2610286⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
An approach for assessing the impact of dependability on usability: application to interactive cockpits.
European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.198–209, ⟨10.1109/EDCC.2014.17⟩
Camille Fayollas, Philippe Palanque, Jean Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark-Alexander Sujan, David Navarre
Understanding functional resonance through a federation of models: preliminary findings of an avionics case study (regular paper)
In : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Toulouse, France, 24/09/13-27/09/13, Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Springer-Verlag, pp. 216-227, September 2013.
URL : http://dx.doi.org/10.1007/978-3-642-40793-2_20 – https://oatao.univ-toulouse.fr/12647/
BibTeXDavid Navarre, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta
Model-based dynamic distribution of user interfaces of critical interactive systems (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), Naples, Italy, 28/05/13-30/05/13, ACM : Association for Computing Machinery, pp. 66-75, 2013.
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach (regular paper)
In : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Paris Avgeriou (Eds.), Springer-Verlag, pp. 32-46, September 2012.
URL : http://link.springer.com/chapter/10.1007/978-3-642-33176-3_3
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Un processus de développement outillé pour l’exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2012), Biarritz, 17/10/12-19/10/12, ACM Digital Library, (on line), October 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart
Systematic Approaches to Training Encompassing Operators mission and Interaction Techniques (short paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), September 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, 29/10/12-31/10/12, Winckler Marco, Forbrig Peter , Bernhaupt Regina (Eds.), Springer, LNCS 7623, pp. 112-134, October 2012.
Marco Antonio Winckler, Philippe Palanque, David Navarre
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM
In : Workshop on HCI: Web and Graphics Curricula at WWW 2012, Lyon, France, 16/04/12-16/04/12.
David Navarre, Philippe Palanque
Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism (regular paper)
In : Workshop on Formal Methods in Human-Machine Interaction (Formal H 2012), London, UK, 28/05/12-28/05/12, Formal H : workshop on Formal Methods in Human-Machine Interaction, (electronic medium), 2012.
Arnaud Hamon, Philippe Palanque, David Navarre, Celia Martinie De Almeida, Adrienne Tankeu Choitat, Eric Barboni
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (electronic medium), February 2012.
Arnaud Hamon, Philippe Palanque, Yannick Deleris, David Navarre, Eric Barboni
A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), 2012.
URL : https://portail.irit.fr/partage/data/public/bd25d6e90fd48885.php
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Erwann Poupart
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite (regular paper)
In : International Conference on Space Operations (SpaceOps 2012), Stockholm, Sweden, 11/06/12-15/06/12, American Institute of Aeronautics and Astronautics (AIAA), (electronic medium), 2012.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2012), Helsinki, Finland, 25/06/12-29/06/12, Taylor & Francis Group, pp. 25-36, 2012.
Adrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques (regular paper)
In : Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena, California, USA, 12/12/11-14/12/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 164-173, 2011.
URL : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6133078&queryText%3Dtankeu
BibTeXEric Barboni, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Marco Antonio Winckler
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems (regular paper)
In : IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), Lisbonne, Portugal, 06/09/11-06/09/11, Adrien Coyette, David Faure, Juan Gonzalez, Jean Vanderdonckt (Eds.), Thales Research and Technology, (electronic medium), 2011.
Adrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
Self-Checking Widgets for Interactive Cockpits (regular paper)
In : European Workshop on Dependable Computing, Pisa, 05/05/11-07/05/11, ACM Digital Library, pp. 34-42, 2011.
Philippe Palanque, Eric Barboni, Celia Martinie De Almeida, David Navarre, Marco Antonio Winckler
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, ACM Press, pp. 21-30, 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, David Navarre, Erwann Poupart
Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, Springer-Verlag, pp. 589-609, June 2011.
Philippe Palanque, Adrienne Tankeu Choitat, David Navarre
An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2010), Floride, USA, 03/11/10-05/11/10, ACM Digital Library, pp. 120-130, November 2010.
Jean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Une approche à base de modèles pour l’ingénierie logicielle de techniques d’interaction (regular paper)
In : , Luxembourg, 20/09/10-23/09/10, ACM Digital Library, pp. 81-88, September 2010.
Celia Martinie De Almeida, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an intensive Model-Based Development Approach (regular paper)
In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, pp. 29-32, July 2010.
Abstract URL : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper08.pdf
BibTeXJean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre
Model-Based Usability Evaluation and Analysis of Interactive Techniques (short paper)
In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, pp. 21-24, July 2010.
Abstract URL : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper06.pdf
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Marco Antonio Winckler
A formal approach supporting effective and efficient training program for improving operators reliability (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/10-09/09/10, Taylor & Francis Group, pp. 234-243, 2010.
Eric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2010), Berlin, Allemagne, 19/06/10-23/06/10, ACM SIGCHI, pp. 143-152, 2010.
Philippe Palanque, David Navarre
Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering
In : EVAL-workshop at INTERACT, Uppsala, Sweden, 24/08/09-28/08/09.
Philippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Antonio Winckler
Une Approche Formelle pour l’Evaluation de la Tolérance aux Interruptions des Système Interactifs (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2009), Grenoble, 13/08/09-16/08/09, ACM Digital Library, pp. 141-150, October 2009.
Jean-François Ladry, David Navarre, Philippe Palanque
Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces (regular paper)
In : International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009 2009), Cambridge, Massachusetts, USA, 02/11/09-06/11/09, ACM : Association for Computing Machinery, pp. 135-142, November 2009.
Philippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems can be Formal too
In : HCI International, San Diego, CA, USA, 19/07/09-24/07/09, Springer-Verlag, pp. 21-30, July 2009.
Sandra Basnyat, David Navarre, Philippe Palanque
Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems.
In : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), Newscastle, UK, 22/09/08-25/09/08, Vol. LNCS, Springer-Verlag, pp. 0-0, 2008.
David Navarre, Philippe Palanque, Jean-François Ladry, Sandra Basnyat
An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems
In : Design Specification and Verification of Interactive Systems (DSV-IS 2008), Kingston, Ontario, Canada., 16/07/08-18/07/08, Vol. LNCS, Springer-Verlag, pp. 0-0, 2008.
Jean-François Ladry, Philippe Palanque, Sandra Basnyat, Eric Barboni, David Navarre
Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces.
In : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2008), Florence, Italy., 05/04/08-10/04/08, ACM : Association for Computing Machinery, (on line), 2008.
Regina Bernhaupt, Philippe Palanque, Marco Antonio Winckler, David Navarre
Usability Study of Multi-Modal Interfaces using Eye-Tracking
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Rio, Brazil, 10/09/07-14/09/07, Vol. 2, Cécilia Baranauskas, Philippe Palanque, Julio Abascal, Simone Diniz Junqueira Bar (Eds.), Springer-Verlag, LNCS 4663, pp. 412-424, 2007.
David Navarre, Philippe Palanque, Jean-François Ladry
Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems.
In : IET International Conference on System Safety, Savoy Place, London UK, 22/10/08-24/10/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 0-0, 2007.
Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque
Improving modularity of interactive software with the MDPC architecture
In : Engineering Interactive Systems (EHCI-HCSE-DSVIS 2007), Salamanca, Spain, 22/03/07-24/03/07, Springer-Verlag, pp. 321-338, 2007.
David Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk
On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing
In : TAsk MOdels DIAgrams for UI design (TAMODIA 2007), Toulouse, France, 07/11/07-09/11/07, Springer-Verlag, pp. 0-0, 2007.
Eric Barboni, David Navarre, Philippe Palanque, Sandra Basnyat
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661.
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2007), Lisbon, Portugal,, 04/07/07-06/07/07, IEEE : Institute of Electrical and Electronics Engineers, 1-4244-0840-7, pp. 250-257, 2007.
Philippe Palanque, Sandra Basnyat, David Navarre
Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare
In : Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society (USAB 2007), Graz University Hospital, Austria, 22/11/07, Springer, pp. 21-40, November 2007.
Philippe Palanque, Regina Bernhaupt, David Navarre, Mourad Ould, Marco Antonio Winckler
Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification.
In : International Conference on Space Operations (SpaceOps 2006), Rome, Italy, 18/06/06-22/06/06, American Institute of Aeronautics and Astronautics (AIAA), pp. 0-0, 2006.
Eric Barboni, Stéphane Conversy, David Navarre, Philippe Palanque
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification
In : Design Specification and Verification of Interactive Systems (DSV-IS 2006), Dublin, Ireland, 26/07/06-28/07/06, Springer-Verlag, LNCS, pp. 25-38, 2006.
Eric Barboni, David Navarre, Philippe Palanque, Sandra Basnyat
Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2006), Seattle, USA, 20/09/06-22/09/06, Cépaduès, (on line), 2006.
URL : https://portail.irit.fr/partage/data/public/05a8b2e6f7547d58.php
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide, Amélie Schyn, Marco Antonio Winckler, Luciana Nedel, Carla Freitas
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2005), Rome, Italy, 12/09/05-16/09/05, Maria Francesca Costabile, Fabio Paternò (Eds.), Springer-Verlag, pp. 170-183, September 2005.
David Navarre, Philippe Palanque, Rémi Bastide, Marco Antonio Winckler
What User Interface Tools are needed for Safety Critical Interactive Systems?
In : CHI 2005 Workshop : The Future of User Interface Design Tools, Portland, Oregon, USA, 04/04/05-04/04/05, Dan Olsen, Scott Klemmer (Eds.).
Abstract URL : http://hci.stanford.edu/srk/chi05-ui-tools/
BibTeXRémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque, Michel Galindo
Can we Rationalise the Design and Construction of Air Traffic Management Systems
In : HCI International 2005, Las Vegas, Nevada, USA, 22/07/05-27/07/05, TBD, July 2005.
Abstract URL : http://www.hci-international.org/first.asp
BibTeXRémi Bastide, Eric Barboni, Xavier Lacaze, David Navarre, Philippe Palanque, Amélie Schyn, Didier Bazalgette
Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit
In : HCI International 2005, Las Vegas, Nevada, USA, 22/07/05-27/07/05, TBD, July 2005.
Abstract URL : http://www.hci-international.org/first.asp
BibTeXSandra Basnyat, David Navarre, Philippe Palanque
Complexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance
In : 2nd Workshop on Complexity in Design and Engineering, Glasgow, UK, 10/03/05-12/03/05, Chris Johnson (Eds.), GIST Technical Report G2005-1, pp. 45-58, March 2005.
Abstract URL : http://liihs.irit.fr/basnyat/papers/BasNavPalCID2005.pdf
BibTeXMourad Ould, Philippe Palanque, Amélie Schyn, Rémi Bastide, David Navarre
Multimodal and 3D Graphic Man Machine Interfaces to improve Operations
In : SpaceOps’2004 – Eighth International Conference on Space Operations, Montreal, Canada, 17/05/04-21/05/04, Canadian Space Agency, May 2004.
Rémi Bastide, David Navarre, Philippe Palanque, Amélie Schyn, Pierre Dragicevic
A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts
In : ICMI 2004 – Sixth International Conference on Multimodal Interfaces, State College, Pen, USA, 14/10/04-15/10/04, ACM Press, pp. 243-250, October 2004.
Pierre Dragicevic, David Navarre, Philippe Palanque, Amélie Schyn, Rémi Bastide
Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems (regular paper)
In : IFIP Working Conference on Engineering for Human-Computer Interaction (jointly with the 11th International Workshop on Design, Specification and Verification of Interactive Systems) (EHCI-DSVIS 2004), Tremsbüttel Castle, Hamburg, Germany, 11/07/04-13/07/04, Rémi Bastide, Philippe Palanque, Jörg Roth (Eds.), Springer, LNCS 3425, pp. 185-206, July 2004.
David Navarre, Philippe Palanque, Rémi Bastide
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2004), Toulouse, France, 29/09/04-01/10/04, EURISCO International, (on line), September 2004.
URL : https://portail.irit.fr/partage/data/public/a040f6d7f4ff0d69.php
BibTeXAmélie Schyn, David Navarre, Philippe Palanque, Luciana Porcher Nedel
Description Formelle d¿une Technique d¿Interaction Multimodale dans une Application de Réalité Virtuelle Immersive
In : IHM’2003 : 15th French Speaking conference on human-computer interaction, Caen, France, 24/11/03-28/11/03, ACM Press, pp. 150-157, November 2003.
Luciana Porcher Nedel, Carla Dal Sasso Freitas, Amélie Schyn, David Navarre, Philippe Palanque
Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?
In : VI Symposium on Virtual Reality, Ribeirão Preto, Brazil, 15/10/03-18/10/03, SBC – Brazilian Computer Society, pp. 81-92, October 2003.
Eric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque
Petri Net Centered versus User Centered Petri Nets Tools
In : AWPN 2003 – 10th Workshop Algorithms and Tools for Petri Nets, Eichstätt, Germany, 26/09/03-27/09/03, —, September 2003.
Abstract URL : http://liihs.irit.fr/barboni/pub/PalanqueAWPN2003.pdf
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide
Reconciling Safety and Usability Concerns through Formal Specification-based Development Process (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2002), MIT, Cambridge, Massachussets, USA, 23/10/02-25/10/02, EURISCO International, pp. 23-29, October 2002.
URL : https://portail.irit.fr/partage/data/public/a9860947fd50d27e.php
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide
Model-Based Interactive Prototyping of Highly Interactive Applications
In : CADUI’2002 – 4th International Conference on Computer-Aided Design of User Interfaces, Université de Valenciennes, France, 15/05/02-17/05/02, Kluwer, May 2002.
URL : http://www.isys.ucl.ac.be/bchi/cadui/02/index.html
BibTeXRémi Bastide, Philippe Palanque, David Navarre
A Model Based Tool for Interactive Prototyping of Highly Interactive Applications
In : CHI’2002 – ACM Conference on Human Factors in Computing Systems, Minneapolis, Minnesota, USA, 20/04/02-25/04/02, ACM Press, April 2002.
Xavier Lacaze, Philippe Palanque, David Navarre, Rémi Bastide
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
In : DSV-IS 2002 – 9th International Workshop, Design Specification and Verification of Interactive Systems, Rostock, Germany, 12/06/02-14/06/02, Springer, Lecture notes in Computer Science 2545, pp. 208-222, June 2002.
Abstract URL : http://liihs.irit.fr/lacaze/papiers/DSVIS2002.pdf
BibTeXXavier Lacaze, Philippe Palanque, David Navarre
Evaluation de Performance et Modèles de Tâches comme Support à la Conception Rationnelle des Systèmes Interactifs
In : 14ème conférence francophone en Interaction Homme Machine, IHM 2002, Poitiers, France, 26/11/02-29/11/02, ACM Press, pp. 17-24, November 2002.
Abstract URL : http://liihs.irit.fr/lacaze/papiers/IHM2002.pdf
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide, Ousmane Sy
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
In : RSP’01 – 12th IEEE International Workshop on Rapid System Prototyping, Monterey, California, USA, 25/06/01-27/06/01, IEEE, June 2001.
URL : http://www.computer.org/cspress/CATALOG/pr01206.htm
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide, Fabio Paternò, Carmen Santoro
A Tool Suite for Integrating Task and System Models Through Scenarios
In : DSV-IS’2001 – 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, Glasgow, Scotland, 13/06/01-15/06/01, Springer, Lecture Notes in Computer Science 2220, June 2001.
URL : http://link.springer.com/chapter/10.1007/3-540-45522-1_6
BibTeXPhilippe Palanque, Michel Galindo, David Navarre, Rémi Bastide, Ousmane Sy
Integrating Prototyping and Formal Methods as a means for Reconciling Usability and Safety
In : Workshop on Safety and Usability Concerns in Aeronautics – IFIP WG 13.5 – Workshop within HCI-Aero 2000, Toulouse, 27/09/00-29/09/00, European Institute of Cognitive Science and Engineering, pp. 41-47, September 2000.
David Navarre, Philippe Palanque, Celia Martinie De Almeida, Sandra Steere
Formal Description Techniques for Human-Machine Interfaces – Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
In : Handbook of Human-Machine Interaction, A Human-Centered Approach. Guy A. Boy (Eds.) , Ashgate Publishing, (on line), April 2011.
David Navarre, Philippe Palanque, Marco Antonio Winckler
Task Models and System Models as a Bridge between HCI and Sofware Engineering
In : Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI. Ahmed Seffah, Jean Vanderdonckt, Michel C. Desmarais (Eds.) , Springer, pp. 357-385, Human-Computer Interaction Series, June 2009.
URL : http://www.springer.com/computer/user+interfaces/book/978-1-84800-906-6
BibTeXRegina Bernhaupt, David Navarre, Philippe Palanque, Marco Antonio Winckler
Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications
In : Maturing Usability: Quality in Software, Interaction and Quality. Effie Law, Ebba Hvannberg , Gilbert Cockton , Jean Vanderdonckt (Eds.) , Springer, pp. 96-122, Human-Computer Interaction Series, 2008.
URL : http://www.springer.com/computer/user+interfaces/book/978-1-84628-940-8
BibTeXXavier Lacaze, Philippe Palanque, Eric Barboni, Rémi Bastide, David Navarre
From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management
In : RATIONALE MANAGEMENT IN SOFTWARE ENGINEERING. Allen H. Dutoit, Raymond McCall, Ivan Mistrik, Barbara Paech (Eds.) , Springer-Verlag, pp. 155-172, February 2007.
Rémi Bastide, David Navarre, Philippe Palanque
Tool Support for Interactive Prototyping of Safety Critical Interactive Applications
In : Encyclopedia of HCI. G. Gaoui (Eds.) , Idea Group Reference Pub, July 2005.
Xavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre
Design Rationale for Increasing Profitability of Interactive Systems Development
In : Encyclopedia of Human Computer Interaction. Claude Ghaoui (Eds.) , Idea Group Reference, pp. 15, August 2005.
David Navarre, Rémi Bastide, Philippe Palanque
Notations en IHM pour une modélisation synergique des tâches et du système
In : Ingénierie cognitive – IHM et cognition. Guy Boy (Eds.) , Hermès, 2003.
URL : http://www.editions-hermes.fr/fr/cdrom2005/pages/notices/2746205710.html
BibTeX
Célia Martinie, David Navarre, Philippe Palanque
Exploiting Tasks Descriptions to Assess and Ensure Effectiveness during the programming of interactive Java software
Tutoriels of 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), 2018
Celia Martinie De Almeida, Philippe Palanque, José Luis Silva, David Navarre
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. April 2013.
URL : http://www.irit.fr/~Celia.Martinie-De-Almeida/Technical_report_on_properties_verification_April_2013.pdf
BibTeXMichael Harrison, Philippe Palanque, David Navarre
The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?
Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)
Eric Barboni, David Navarre, Philippe Palanque, Didier Bazalgette
PetShop : A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. . Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seatle, USA, Sept. 2006.
September 2006.